69. Predicate transformer semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics

رده :
QA
76
.
7
.
M342
1992

73. Programming language pragmatics

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers) ; Computer science. ;

80. Programming languages for parallel processing

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Parallel programming )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
642
.
S62
1994